add_explicit_symbol("strcmp", &strcmp);
add_explicit_symbol("strlen", &strlen);
add_explicit_symbol("free", &free);
add_explicit_symbol("malloc", &malloc);
